induction divisibility